261. NASA formal methods :
پدیدآورنده : Alwyn E. Goodloe, Suzette Person (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Fault-tolerant computing, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.
رده :
QA76
.
9
.
F67
N46
2012eb
262. NASA formal methods :
پدیدآورنده : Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Artificial intelligence.,Computer modelling & simulation.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
263. NASA formal methods :
پدیدآورنده : Julia M. Badger, Kristin Yvonne Rozier (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
N46
2014
264. Network and parallel computing :
پدیدآورنده : Erik Altman, Weisong Shi (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network architectures, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2011
265. Network and parallel computing :
پدیدآورنده : Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2013
266. Network and parallel computing :
پدیدآورنده : Feng Zhang, Jidong Zhai, Marc Snir, Hai Jin, Hironori Kasahara, Mateo Valero (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Parallel computers, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer networks.,Parallel computers.,Parallel processing (Electronic computers)
رده :
QA76
.
58
267. Networked services and applications - engineering, control and management :
پدیدآورنده : Finn Arve Aagesen, Svein Johan Knapskog (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software, Congresses.,Computer networks, Congresses.,Internet programming, Congresses.,Internet, Congresses.
268. Networked services and applications - engineering, control and management :
پدیدآورنده : Finn Arve Aagesen, Svein Johan Knapskog (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software, Congresses.,Computer networks, Congresses.,Internet programming, Congresses.,Internet, Congresses.
269. New Trends in Software Methodologies, Tools and Techniques :
پدیدآورنده : edited by Hamido Fujita and Paul Johannesson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
رده :
QA76
.
758
.
L94
2002eb
270. New trends in computer technologies and applications :
پدیدآورنده : Chuan-Yu Chang, Chien-Chou Lin, Horng-Horng Lin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing, Congresses.,Self-organizing systems, Congresses.,Electronic data processing.,Self-organizing systems.
رده :
QA75
.
5
.
I58
2018
271. New trends in information and communications technology applications :
پدیدآورنده : Safaa O. Al-mamory, Jwan K. Alwan, Ali D. Hussein (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer networks.,Computers-- Computer Graphics.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Image processing.,Software Engineering.
رده :
TK5105
.
5
272. Number-theoretic methods in cryptology :
پدیدآورنده : Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cryptography, Congresses.,Monte Carlo method, Congresses.,Algorithms.,Coding theory & cryptology.,Computer science-- Mathematics.,Computer science.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers.,Data encryption (Computer science),Discrete mathematics.,Information technology: general issues.,Mathematics-- Number Theory.,Number theory.,Number theory.,Numerical analysis.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
N88
2017
273. OOIS'96 :
پدیدآورنده : edited by Dilip Patel, Yuan Sun, Shushma Patel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Object-oriented databases -- Congresses.
رده :
QA76
.
9
.
D3
E358
1997
274. Object-Oriented and internet-based technologies : 5th Annual International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World, Net. ObjectDays 2004, Erfurt, Germany, September 27-30, 2004 : proceedings
پدیدآورنده : Mathias Weske, Peter Liggesmeyer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Intelligent agents )Computer software(,Congresses ، Internet programming
رده :
QA
76
.
L28
Vol
.
3263
275. Object-oriented programming :
پدیدآورنده : ECOOP 2001. Jørgen Lindskov Knudsen (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented programming (Computer science),Object-oriented programming (Computer science) -- Congresses.,Objektorientierte Programmierung.
276. Object technologies for advanced software : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 1996 : proceedings
پدیدآورنده : Kokichi Futatsugi ,Satoshi Matsuoka )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Object-oriented databases,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1049
277. Object technologies for advanced software : first JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
پدیدآورنده : Shojiro Nishio, Akinori Yonezawa )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Object-oriented databases,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
742
278. Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
پدیدآورنده : Shojiro Nishio, Akinori Yonezawa )eds.(
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Object-oriented programming )Computer science( - Congresses , Object-oriented databases - Congresses , Computer software - Development - Congresses
رده :
QA
76
.
64
.
I55
1993
279. Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Object-oriented programming )Computer science(-- Congresses,، Object-oriented databases-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
64
.
I55
1993
280. Objects, agents, and features : International Seminar Dagstuhi Castle, Germany, February 16-21, 2003; revised and invited papers
پدیدآورنده : Mark D.Ryan, John-Jules Ch.Meyer, Hans-Dieter Ehrich )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Object-oriented methods )Computer science(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2975